$\vdash$  $\forall$$u$:$\mathbb{B}$. ($u$ $\vee_{b}$tt) = tt